Section: Partnerships and Cooperations

Individual Involvement

F. Bouquet: PC member of Modevva'11 (Model-Driven Engineering, Verification, And Validation), ICST 2012. PC Chair of the 1st International Workshop on Verification and Validation of Complex System (V2CS'2011) Head of the Online teaching department of Computer science in the University of Franche-Comté since Sept. 2011. Expert for Luxembourg National Research Fund.

V. Cortier: Principal Investigator of the ERC Starting Grant ProSecure (2011-2016); coordinator of the ANR SESUR AVOTÉ (started in Jan. 2008); PC member of ESORICS 2011 (16th European Symposium on Research in Computer Security), MFPS 2011 (27th Conference on the Mathematical Foundations of Programming Semantics), FC 2011 (15th International Conference on Financial Cryptography and Data Security), RTA 2011 (22nd International Conference on Rewriting Techniques and Applications); member of selection committees: INRIA Bordeaux (CR position), Caen University (Full Professor); member of the Evaluation Committee of the INRIA since Sept. 2008.

F. Dadeau: PC member of the 3rd International Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'2011), affiliated with ICST'2011. PC chair of the 1st International Workshop on Scenario-Based Testing (SCENARIOS'2011), affiliated with ICST'2011. Editorial committee member of the Model-Based Testing for Embedded Systems book. Director of the “Licence Informatique” in the University of Franche-Comté since Sept. 2011.

A. Imine: PC Member of the 22nd International Conference on Database and Expert Systems Applications (DEXA'2011), the 8th Colloquium on Optimization and Information Systems (COSI'2011) and the 3rd International Conference on Computer Science and its Applications (CIIA'2011). Member of the scientific committee of InterOP (Interest Group on Enterprise Systems Interoperability).

O. Kouchnarenko: Director of the LIFC Laboratoire d'informatique de Franche Comté; Member of the “Comité de direction” of the FEMTO-ST Institut; Member of the selection committees at the UFC; PC member of “International Workshop on Abstractions for Petri Nets and Other Models of Concurrency”, APNOC'11.

S. Kremer: PC member of FAST'11 (8th International Workshop on Formal Aspects of Security and Trust) and PST'11 (9th Annual Conference on Privacy, Security and Trust). General chair of CSF'11 (24th IEEE Computer Security Foundations Symposium). Member of the steering committees of POST (Conference on Principles of Security and Trust) since 2011, CSF (IEEE Computer Security Foundations Symposium) since 2010 and SecReT (Workshop on Security and Rewriting Techniques) since 2010.

C. Ringeissen: PC member of FroCoS'11 (Frontiers of Combining Systems) and SoICT 2011 (International Symposium on Information and Communication Technology). Member of the COST Committee of INRIA since Oct. 2011 (working group “Actions Incitatives”).

M. Rusinowitch: member of the IFIP Working Group 1.6 (Rewriting), PC member of ASIACCS (6th ACM Symposium on Information, Computer and Communications Security), CADE 2011 (23rd International Conference on Automated Deduction), ARSPA-WITS'11 Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, CRiSIS 2011 (6th International Conference on Risks and Security of Internet and Systems), FTP 2011 (International Workshop on First-Order Theorem Proving), SecDay2011 (Grande Region Security and Reliability Day). Member of the selection committees: CR INRIA National, and Saclay. Vice-president of Project Committee of INRIA Grand Est since October 2009.

L. Vigneron: Member of the FTP steering committee; Member of the IFIP Working Group 1.6 on Rewriting; Webmaster of the site Rewriting Home Page and of the RTA conference Web site. Member of the “Conseil de laboratoire” of LORIA. Director of the “Licence-Master MIAGE (Méthodes Informatiques Appliquées à la Gestion des Entreprises)” in the University of Nancy 2.

P.-C. Héam: Co-head of the FORWAL working group of GDR-GPL-CNRS. Director of the “Licence Informatique” in the University of Franche-Comté until Sept. 2011.